Ident. | Authors (with country if any) | Title |
---|
000052 |
Yamine Ait Ameur [France] ; Dominique Méry [France] | Making explicit domain knowledge in formal system development |
000180 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France] | Incremental Proof-Based Development for Resilient Distributed Systems |
000182 |
Dominique Méry [France] ; Mike Poppleton [Royaume-Uni] | Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems |
000312 |
Dominique Méry [France] ; Sawant Rushikesh [France] ; Anton Tarasyuk [France] | Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study |
000418 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Analyzing Requirements Using Environment Modelling |
000485 |
Catherine Dubois [France] ; Paolo Masci [Royaume-Uni] ; Dominique Méry [France] | Second International Workshop on Formal Integrated Development Environment |
000861 |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Formal Evaluation of Landing Gear System |
000910 |
Yamine Aït Ameur [France] ; J. Paul Gibson [France] ; Dominique Méry [France] | On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems |
000928 |
Dominique Méry [France] | Playing with State-Based Models for Designing Better Algorithms |
000934 |
Gabriel Ciobanu ; Dominique Méry [France] | Theoretical Aspects of Computing – ICTAC 2014 |
000A25 |
Neeraj Kumar Singh [Canada] ; Dominique Méry [France] | Event B (english version) |
000A90 |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | The Semantics of Refinement Chart |
000B19 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Analysis of Self-* and P2P Systems using Refinement |
000B23 |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Modeling an Aircraft Landing System in Event-B |
000C14 |
Catherine Dubois [France] ; Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France] | Proceedings 1st Workshop on Formal Integrated Development Environment |
000C21 |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Modelling an Aircraft Landing System in Event-B (Full Report) |
000D15 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France] | Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version) |
000E57 |
Dominique Méry [France] ; Bernhard Sch Tz [Allemagne] ; Alan Wassyng [Canada] | The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062) |
000E82 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Analysis of Self-* and P2P Systems using Refinement (Full Report) |
001103 |
Dominique Méry [France] ; Monahan Rosemary [Irlande (pays)] | Transforming EVENT B Models into Verified C# Implementations |
001157 |
Mohammed Tounsi [France] ; Mohammed Mosbah [France] ; Dominique Méry [France] | From Event-B Specifications to Programs for Distributed Algorithms |
001169 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France] | Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms |
001170 |
Dominique Méry [France] ; Mike Poppleton [Royaume-Uni] | Formal Modelling and Verification of Population Protocols |
001261 |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Event B |
001286 |
Gérard Morel [France] ; Jean-Marc Dupont [France] ; Romain Lieber [France] ; Fabien Bouffaron [France] ; Dominique Méry [France] ; Frédérique Mayer [France] ; Jean-Luc Marty [France] | Spécification d'exigences physico-physiologiques d'interaction homme-machine en ingénierie système |
001336 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Formal Specification of Medical Systems by Proof-Based Refinement |
001570 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni] | Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms |
001572 |
Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni] | Ideal Mode Selection of a Cardiac Pacing System |
001582 |
Dominique Méry [France] ; Michael Poppleton [Royaume-Uni] | Formal Modelling and Verification of Population Protocols |
001624 |
Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni] | Closed-Loop Modeling of Cardiac Pacemaker and Heart |
001798 |
Manamiary Bruno Andriamiarina [France] ; Hayat Daoud [Algérie] ; Mostefa Belarbi [Algérie] ; Dominique Méry [France] ; Camel Tanougast [France] | Formal Verification of Fault Tolerant NoC-based Architecture |
001801 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France] | Revisiting Snapshot Algorithms by Refinement-based Techniques |
001898 |
Yamine Ait Ameur [France] ; Dominique Méry [France] | Handling Heterogeneity in Formal Developments of Hardware and Software Systems |
001952 |
Jean-Marc Dupont [France] ; Romain Lieber [France] ; Gérard Morel [France] ; Dominique Méry [France] ; Fabien Bouffaron [France] | Spécification d'un Processus Technico-Physiologique de Perception de Fermeture et Verrouillage d'un capot moteur en situation de maintenance aéronautique |
001977 |
Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France] | FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings |
001993 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Critical systems development methodology using formal techniques |
001C56 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Medical Protocol Diagnosis Using Formal Methods |
001C85 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata |
001F77 |
Dominique Méry [France] ; Didier Fass [France] | Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et Validation |
001F96 |
Mohamed Tounsi [France] ; Mohamed Mosbah [France] ; Dominique Méry [France] | Proving Distributed Algorithms by Combining Refinement and Local Computations |
002022 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Formal Development and Automatic Code Generation : Cardiac Pacemaker |
002063 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Automatic Code Generation from Event-B Models |
002067 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Analysis of DSR Protocol in Event-B |
002084 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | A generic framework: from modeling to code |
002096 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | EB2J : Code Generation from Event-B to Java |
002162 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata |
002165 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Medical Protocol Diagnosis using Formal Methods |
002167 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata |
002243 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] | Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract) |
002245 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] | Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report) |
002290 |
Dominique Méry [France] ; Mohamed Mosbah [France] ; Mohamed Tounsi [France] | Refinement-based Verification of Local Synchronization Algorithms |
002642 |
Dominique Méry [France] ; Mohamed Mosbah [France] ; Mohamed Tounsi [France] | Refinement-Based Verification of Local Synchronization Algorithms |
002760 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Analysis of DSR Protocol in Event-B |
002780 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | A generic framework: from modeling to code |
002835 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods |
002889 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Functional Behavior of a Cardiac Pacing System |
002A46 |
Dominique Méry [France] ; Stephan Merz [France] | Integrated Formal Methods |
002A67 |
Dominique Méry [France] ; Mohammed Mosbah [France] ; Mohammed Tounsi [France] | Proving Distributed Algorithms by Combining Refinement and Local Computations |
002A78 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | EB2C : A Tool for Event-B to C Conversion Support |
002C37 |
Nazim Benaissa [France] ; Dominique Méry [France] | Proof-Based Design of Security Protocols |
002E30 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Technical Report on Formal Development of Two-Electrode Cardiac Pacing System |
003005 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Trustable Formal Specification for Software Certification |
003012 |
Yamine Ait Ameur [France] ; Frédéric Boniol [France] ; Dominique Méry [France] ; Virginie Wiels [France] | Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems |
003036 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Real-Time Animation for Formal Specification |
003037 |
Nazim Benaissa [France] ; Dominique Méry [France] | Proof-Based Design of Security Protocols |
003098 |
Nazim Benaissa [France] ; Dominique Méry [France] | Cryptographic Protocols Analysis in Event B |
003426 |
Dominique Méry [France] | Refinement-Based Guidelines for Algorithmic Systems |
003548 |
Nazim Benaissa [France] ; Dominique Méry [France] | Cryptologic protocols analysis using proof-based patterns |
003549 |
Nazim Benaissa [France] ; Dominique Méry [France] | Cryptographic Protocols Analysis in Event B |
003576 |
Dominique Méry [France] | A Simple Refinement-based Method for Constructing Algorithms |
003690 |
Mohamed Tounsi [France] ; Ahmed Hadj Kacem ; Mohamed Mosbah [France] ; Dominique Méry [France] | A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems |
003715 |
Nazim Benaissa [France] ; Dominique Méry [France] | Développement combiné et prouvé de systèmes transactionnels cryptologiques |
003890 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | System-on-chip design by proof-based refinement |
003967 |
Dominique Cansell [France] ; Dominique Méry [France] | Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development |
003C55 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Pacemaker's Functional Behaviors in Event-B |
003D09 |
Julien Siebert [France] ; Joris Rehm [France] ; Vincent Chevrier [France] ; Laurent Ciarletta [France] ; Dominique Méry [France] | AA4MM coordination model and event-B specification |
003E99 |
Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Intégration de contraintes temps-réel au sein d'un processus de développement incrémental basé sur la preuve (Livrable 2) |
003F09 |
Dominique Méry [France] | Teaching programming methodology using Event B |
004096 |
Dominique Cansell [France] ; Dominique Méry [France] | The Event-B Modelling Method - Concepts and Case Studies |
004156 |
Dominique Cansell [France] ; Paul Gibson [Irlande (pays)] ; Dominique Méry [France] | Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface |
004490 |
Nazim Benaissa [France] ; Dominique Méry [France] | Développement incrémental prouvé de systèmes répartis : le cas Mondex |
004749 |
Dominique Cansell [France] ; Paul Gibson [France] ; Dominique Méry [France] | Formal verification of tamper-evident storage for e-voting |
004A60 |
Dominique Cansell [France] ; Dominique Méry [France] | Incremental Parametric Development of Greedy Algorithms |
004B96 |
Dominique Cansell [France] ; Dominique Méry [France] | Proved-Patterns-Based Development for Structured Programs |
004D78 |
Thierry Lecomte ; Dominique Méry [France] ; Dominique Cansell [France] | Patrons de conception prouvés |
004E32 |
Dominique Méry [France] ; Stephan Merz [France] | Specification and Refinement of Access Control |
004E83 |
Dominique Cansell [France] ; Dominique Méry [France] | Designing old and new distributed algorithms by replaying an incremental proof-based development |
005004 |
Dominique Cansell [France] ; Dominique Méry [France] | Incremental Parametric Development of Greedy Algorithms |
005124 |
Dominique Evrot [France] ; Jean-François Pétin [France] ; Dominique Méry [France] | Formal specification of safe manufacturing machines using the B method : application to a mechanical press |
005193 |
Dominique Méry [France] ; Stephan Merz [France] | Event Systems and Access Control |
005363 |
Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Time Constraint Patterns for Event B Development |
005463 |
Nazim Benaïssa [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Integration of Security Policy into System Modeling |
005599 |
Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Integration of security policy into system modeling |
005604 |
Dominique Cansell [France] ; Dominique Méry [France] | Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm |
005633 |
Dominique Cansell [France] ; Dominique Méry [France] | Event B |
005717 |
Dominique Cansell [France] ; Dominique Méry [France] | Tutorial on the event-based B method |
005901 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Modelling SystemC scheduler by refinement |
005924 |
Denis Abraham ; Dominique Cansell [France] ; Patrick Ditsch ; Dominique Méry [France] ; Cyril Proch [France] | Synthesis of the QoS for digital TV services |
005A67 |
Loïc Fejoz [France] ; Dominique Méry [France] ; Stephan Merz [France] | DIXIT: a Graphical Toolkit for Predicate Abstractions |
005B46 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch | Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement |
005C91 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch | Modelling SystemC scheduler by refinement |
005F27 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Refinement and Reachability in Event_B |
005F61 |
Loïc Fejoz ; Dominique Méry [France] ; Stephan Merz | DIXIT : a Graphical Toolkit for Predicate Abstractions |
006015 |
Dominique Cansell [France] ; Dominique Méry [France] | The invoice case study modelling in Event B |
006033 |
Dominique Méry [France] ; Dominique Cansell [France] ; Cyril Proch ; Denis Abraham ; Patrick Ditsch | The challenge of QoS for digital television services |
006200 |
Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France] | Refinement and Reachability in Event_B |
006339 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement |
006393 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Un système d'analyse de la qualité: de la norme au produit en passant par le raffinement |
006459 |
Dominique Cansell [France] ; Dominique Méry [France] | The invoice case study modelling in Event B |
006460 |
Dominique Méry [France] ; Dominique Cansell [France] ; Cyril Proch [France] ; Denis Abraham [France] ; Patrick Ditsch [France] | The challenge of QoS for digital television services |
006852 |
Dominique Cansell [France] ; Jean-François Culat ; Dominique Méry [France] ; Cyril Proch | Derivation of SystemC code from abstract system models |
006A31 |
Cyril Proch ; Dominique Cansell [France] ; Dominique Méry [France] | Projet RNRT EQUAST ; SP2 Spécification incrémentale du système |
006D60 |
Dominique Méry [France] | Synthèse formelle par raffinement de modèles et de logiciels pour l'automaisation |
006E59 |
Dominique Cansell [France] ; Dominique Méry [France] | Tutorial on the event-based B method : Concepts and Case Studies |
006F10 |
Gérard Morel [France] ; Dominique Méry [France] ; Jean-Baptiste Léger ; Thierry Lecomte | Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues |
007035 |
Dominique Cansell [France] ; Jean-François Culat [France] ; Dominique Méry [France] ; Cyril Proch [France] | Derivation of SystemC code from abstract system models |
007534 |
Dominique Cansell [France] ; Dominique Méry [France] | Designing event-driven systems by combining coordination and refinement |
007606 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol |
007680 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Formal derivation of spanning trees algorithms |
007822 |
Dominique Cansell [France] ; Camel Tanougast ; Yves Berviller ; Dominique Méry [France] ; Cyril Proch ; Hassan Rabah ; Serge Weber | Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement |
007A57 |
Jean-Raymond Abrial [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Formal Derivation of Spanning Trees Algorithms |
007B21 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol |
007B60 |
Dominique Cansell [France] ; Dominique Méry [France] | Foundations of the B method |
007C32 |
Dominique Méry [France] ; Nidhal Rezg [France] ; Xiaolan Xie [France] | Modélisation des systèmes réactifs |
007D69 |
Dominique Cansell [France] ; Camel Tanougast ; Yves Berviller ; Dominique Méry [France] ; Cyril Proch [France] ; Hassan Rabah ; Serge Weber | Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement |
007E22 |
Dominique Cansell [France] ; Dominique Méry [France] | Foundations of the B method |
007E23 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Formal derivation of spanning trees algorithms |
007E34 |
Dominique Cansell [France] ; Dominique Méry [France] | Designing event-driven systems by combining coordination and refinement |
008026 |
Hervé Panetto [France] ; Jean-François Pétin [France] ; Dominique Méry [France] | Formalisation of enterprise modelling standards using UML and the B method. |
008115 |
Dominique Cansell [France] ; Dominique Méry [France] | Développement de fonctions définies récursivement en B : Application du B événementiel |
008605 |
Hervé Panetto ; Jean-François Petin ; Dominique Méry [France] | Formalisation of enterprise modelling standards using UML and the B method |
008660 |
Dominique Cansell [France] ; Dominique Méry [France] | Integration of the proof process in the system development through refinement steps |
008668 |
Dominique Cansell [France] ; Ganesh Gopalakrishnan ; Mike Jones ; Dominique Méry [France] ; Airy Weinzoepflen | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
008794 |
Dominique Cansell [France] ; Ganesh Gopalakrishnan [États-Unis] ; Mike Jones [États-Unis] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
008812 |
Dominique Méry [France] ; Beverly Sanders [États-Unis] | Editorial Note |
008910 |
Dominique Cansell [France] ; Dominique Méry [France] | Integration of the proof process in the system development through refinement steps |
008A07 |
Dominique Cansell [France] ; Dominique Méry [France] | Développement de fonctions définies récursivement en B : Application du B événementiel |
008B23 |
Dominique Cansell [France] ; Dominique Méry [France] | Integration of the proof process in the system development through refinement steps |
008B26 |
Dominique Cansell [France] ; Ganesh Gopalakrishnan ; Mike Jones ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
008F02 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams |
008F79 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Specification and Design of the Leader Election Protocol of IEEE 1394 |
009492 |
Dominique Cansell [France] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Modélisation et analyse de la documentation technique d'un système |
009566 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Specification and Design of the Leader Election Protocol of IEEE 1394 |
009652 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams |
009832 |
J Ohn Paul Gibson ; Dominique Méry [France] | Fair Objects |
009935 |
Dominique Cansell [France] ; Jacques Jaray ; Dominique Méry [France] | Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B. |
009951 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstraction and refinement of features |
009956 |
Dominique Cansell [France] ; Dominique Méry [France] | Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem |
009A23 |
Dominique Cansell [France] ; Dominique Méry [France] ; Christophe Tabacznyj | Abstraction and Refinement of Concurrent Programs and Formal Specification |
009A39 |
Paul Gibson ; Geoff Hamilton ; Dominique Méry [France] | A taxonomy for triggered interactions using fair object semantics |
009B66 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams |
009C29 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Verifying Reactive Systems Using Predicate Diagrams |
009C67 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Diagrams Refinement for the Design of Reactive Systems |
009C87 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams for the verification of reactive systems |
009E06 |
Dominique Cansell [France] ; Dominique Méry [France] ; Christophe Tabacznyj [France] | Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification A Practical View |
009E44 |
Dominique Cansell [France] ; Dominique Méry [France] | Playing with Abstraction and Refinement for Managing Features Interactions |
009E94 |
Paul Gibson [Irlande (pays)] ; Dominique Méry [France] | Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem |
009E95 |
Beverly Sanders [États-Unis] ; Dominique Méry [France] | Fifth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA 2000 |
009F87 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne] | Predicate diagrams for the verification of reactive systems |
00A007 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams |
00A042 |
Dominique Cansell [France] ; Jacques Jaray [France] ; Dominique Méry [France] | Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B. |
00A079 |
John Paul Gibson [France] ; Dominique Méry [France] | Fair Objects |
00A112 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Verifying Reactive Systems Using Predicate Diagrams |
00A161 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams for the verification of reactive systems |
00A162 |
Dominique Cansell [France] ; Dominique Méry [France] | Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem |
00A235 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Diagrams Refinement for the Design of Reactive Systems |
00A281 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstraction and refinement of features |
00A282 |
Dominique Cansell [France] ; Dominique Méry [France] ; Christophe Tabacznyj [France] | Abstraction and Refinement of Concurrent Programs and Formal Specification |
00A285 |
Paul Gibson ; Geoff Hamilton ; Dominique Méry [France] | A taxonomy for triggered interactions using fair object semantics |
00A318 |
Dominique Méry [France] ; Yassine Mokhtari [France] | Validation of formal specifications |
00A353 |
Raphaël Couturier [France] ; Bertrand Couturier [France] ; Dominique Méry [France] | A compiler for parallel Unity programs using OpenMp |
00A360 |
Jean-Paul Gibson [États-Unis] ; Dominique Méry [France] ; Yassine Mokhtari [France] | Animating formal specifications : a telephone simulation case study |
00A383 |
Dominique Méry [France] | Special Issue FMPPTA'98 |
00A495 |
John Paul Gibson ; Geoff Hamilton ; Dominique Méry [France] | Integration Problems in Telephone Feature requirements |
00A514 |
Dominique Méry [France] | Requirements for a Temporal B \\ Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems : Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems |
00A522 |
Dominique Méry [France] ; Guy-René Perrin | Edition Spéciale RenPar'10 |
00A588 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstract animator for temporal specifications Application to TLA |
00A593 |
Jean-Paul Gibson ; Dominique Méry [France] | Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach |
00A624 |
Jean-Paul Gibson ; Dominique Méry [France] ; Yassine Mokhtari | Animating formal specifications : a telephone simulation case study |
00A687 |
Patrick Lamboley ; Jean-François Pétin ; Dominique Méry [France] | Towards a formal engineering framework for process automation |
00A691 |
Dominique Méry [France] ; Yassine Mokhtari | Validation of formal specifications |
00A721 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstract Animator for Temporal Specifications |
00A788 |
Raphaël Couturier ; Bertrand Couturier ; Dominique Méry [France] | A compiler for parallel Unity programs using OpenMp |
00AA49 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstract Animator for Temporal Specifications: Application to TLA |
00AB07 |
Dominique Méry [France] | Special Issue FMPPTA'98 |
00AB10 |
Dominique Méry [France] ; Guy-René Perrin | Edition Spéciale RenPar'10 |
00AC07 |
Patrick Lamboley [France] ; Jean-François Pétin [France] ; Dominique Méry [France] | Towards a formal engineering framework for process automation |
00AC41 |
Dominique Méry [France] | Requirements for a Temporal B Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems : Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems |
00AC87 |
John Paul Gibson ; Geoff Hamilton ; Dominique Méry [France] | Integration Problems in Telephone Feature requirements |
00AD08 |
Jean-Paul Gibson [États-Unis] ; Dominique Méry [France] | Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach |
00AD56 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstract animator for temporal specifications Application to TLA |
00AD57 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstract Animator for Temporal Specifications |
00AD98 |
Bruno Mermet [France] ; Dominique Méry [France] ; Dmitri Samborski | Spécification de services : une approche avec B |
00AE09 |
Jean-Paul Gibson ; Dominique Méry [France] | Fair Objects |
00AE28 |
Bruno Mermet ; Dominique Méry [France] ; Dmitri Samborski | Spécification de services : une approche avec B |
00AE74 |
Dominique Cansell [France] ; Dominique Méry [France] | Interprétation de spécifications temporelles à l'aide d'un outil de preuve |
00AF61 |
Jean-François Pétin ; Gerard Morel ; Dominique Méry [France] ; Patrick Lamboley | Process control engineering : contribution to a formal structuring framework with the B method |
00AF62 |
Dominique Méry [France] ; Beverly Sanders | Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications |
00AF72 |
Dominique Méry [France] ; Jean-Francois Pétin | Formal engineering methods for modelling and verification of control systems |
00AF86 |
Raphaël Couturier ; Dominique Méry [France] | An experiment in parallelizing an application using formal methods |
00B026 |
Raphaël Couturier ; Dominique Méry [France] | Parallelization of a Monte Carlo simulation of a spins system |
00B102 |
Bruno Mermet ; Dominique Méry [France] | Service specifications to B, or not to B |
00B200 |
Dominique Méry [France] ; Guy-René Perrin | RenPar'10 |
00B221 |
Jean-Paul Gibson ; Dominique Méry [France] | Always and Eventually in Object Requirements |
00B222 |
Jean-Paul Gibson ; Dominique Méry [France] | Teaching Formal Methods : Lessons to learn |
00B331 |
Jean François Pétin [France] ; Gérard Morel [France] ; Dominique Méry [France] ; Patrick Lamboley [France] | Process control engineering: Contribution to a formal structuring framework with the B method |
00B395 |
Raphaël Couturier [France] ; Dominique Méry [France] | An experiment in parallelizing an application using formal methods |
00B445 |
Guy-René Perrin ; Dominique Méry [France] | RenPar'10 |
00B510 |
Dominique Cansell [France] ; Dominique Méry [France] | Interprétation de spécifications temporelles à l'aide d'un outil de preuve |
00B515 |
Dominique Méry [France] ; Jean-Paul Gibson [France] | Fair Objects |
00B556 |
Dominique Méry [France] ; Beverly Sanders | Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications |
00B567 |
Jean-Paul Gibson [France] ; Dominique Méry [France] | Teaching Formal Methods: Lessons to learn |
00B580 |
Bruno Mermet [France] ; Dominique Méry [France] | Service specifications to B, or not to B |
00B600 |
Jean-François Pétin [France] ; Gérard Morel [France] ; Dominique Méry [France] ; Patrick Lamboley [France] | Process control engineering: contribution to a formal structuring framework with the B method |
00B604 |
Raphaël Couturier [France] ; Dominique Méry [France] | Parallelization of a Monte Carlo simulation of a spins system |
00B650 |
Dominique Méry [France] ; Jean-François Pétin [France] | Formal engineering methods for modelling and verification of control systems |
00B694 |
Raphaël Couturier [France] ; Dominique Méry [France] | An experiment in parallelizing an application using formal methods |
00B698 |
Jean-Paul Gibson [France] ; Dominique Méry [France] | Always and Eventually in Object Requirements |
00B765 |
Dominique Méry [France] | Logiques temporelles |
00B848 |
Bruno Mermet ; Dominique Méry [France] | Détection d'interactions de services : une approche avec B |
00B864 |
Bruno Mermet ; Dominique Méry [France] | Spécification de services et gestion des interactions |
00B953 |
Bruno Mermet ; Dominique Méry [France] | Incremental Specification of Telecommunication Services |
00B973 |
Jean-Paul Gibson ; Dominique Méry [France] | A Unifying Framework for Multi-Semantic Sofware Development |
00B998 |
Dominique Méry [France] | Formal methods for parallel programming : theory and applications |
00BA04 |
Raphaël Couturier ; Dominique Méry [France] | Coordination of abstract machines |
00BA20 |
Jean-Paul Gibson ; Dominique Méry [France] | Telephone Feature Verification : Translating SDL to TLA+ |
00BA58 |
Jean-Paul Gibson ; Bruno Mermet ; Dominique Méry [France] | Feature Interactions : a Mixed Semantic Model Approach |
00BA74 |
Bruno Mermet ; Dominique Méry [France] | Safe combinations of services using B |
00BE27 |
Dominique Méry [France] | Proceedings of the First International Workshop on Formal Methods for Parallel Programming : Theory and Applications |
00BE55 |
Jean-Paul Gibson ; Dominique Méry [France] | A Unifying Model for Specification and Design |
00BF13 |
Dominique Méry [France] | Transformations Preserving Invariance and Eventuality Properties under Justice or Fairness Assumptions |
00BF18 |
Dominique Méry [France] | De la tranformation de prédicats à la transformation de programmes |
00C532 |
Jean-Paul Gibson ; Dominique Méry [France] ; Denis Roegel | Formal Methods for Concurrency, Parallelism and Distribution |
00C624 |
Abdelillah Mokkedem [France] ; Dominique Méry [France] | On using temporal logic for refinement and compositional verification of concurrent systems |
00CD57 |
Abdelillah Mokkedem [France] ; Dominique Méry [France] | A stuttering closed temporal logic for modular reasoning about concurrent programs |
00D206 |
Dominique Méry [France] ; Abdelillah Mokkedem [France] | Crocos: An integrated environment for interactive verification of SDL specifications |
00D230 |
Naïma Brown [France] ; Dominique Méry [France] | A proof environment for concurrent programs |
00E582 |
Dominique Méry [France] | Méthode axiomatique sur les propriétés de fatalité des programmes parallèles |
00E859 |
Dominique Méry [France] | A proof system to derive eventuality properties under justice hypothesis |